﻿using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;

using MonoDevelop.Projects;
using System.IO;

namespace Coq.MonoDevelop
{
    class CoqProject : Project
    {
        public CoqProject()
        {

        }

        public override string ProjectType
        {
            get { return "Coq"; }
        }

        public override string[] SupportedLanguages
        {
            get { return new string[] { "Coq" }; }
        }

        public override bool IsCompileable(string fileName)
        {
            string ext = Path.GetExtension(fileName);
            return (ext.Equals(".v", StringComparison.CurrentCultureIgnoreCase));
        }
    }

}
